From 1f6e26aaec12032d3ea5badce7d709550c78284c Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@gnu.org>
Date: Sun, 3 Aug 2003 18:29:52 +0000
Subject: [PATCH] add @contents.

---
 man/info.texi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/man/info.texi b/man/info.texi
index f5b064f3a43..26f23ac7264 100644
--- a/man/info.texi
+++ b/man/info.texi
@@ -6,7 +6,7 @@
 @syncodeindex vr cp
 @syncodeindex ky cp
 @comment %**end of header
-@comment $Id: info.texi,v 1.6 2003/07/08 12:17:59 karl Exp $
+@comment $Id: info.texi,v 1.33 2003/07/16 22:17:40 karl Exp $
 
 @copying
 This file describes how to use Info, the on-line, menu-driven GNU
@@ -50,6 +50,8 @@ license to the document, as described in section 6 of the license.
 @insertcopying
 @end titlepage
 
+@contents
+
 @ifnottex
 @node Top
 @top Info: An Introduction
-- 
2.30.2